Skip to content

ci: remove dev alias when releasing#36

Merged
hav-johwal merged 1 commit intomainfrom
ci/fix-dev-alias
Jan 22, 2025
Merged

ci: remove dev alias when releasing#36
hav-johwal merged 1 commit intomainfrom
ci/fix-dev-alias

Conversation

@hav-johwal
Copy link
Contributor

Mike doesn't have support for changing version -> alias.

Mike doesn't have support for changing version -> alias.
@hav-johwal hav-johwal merged commit 6f7bec2 into main Jan 22, 2025
1 check passed
@hav-johwal hav-johwal deleted the ci/fix-dev-alias branch January 22, 2025 14:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant